Correct system design - recent insights and advances

Författare
(Bernhard Steffen, Ernst-Rüdiger Olderog (eds.).)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 1999 Tyskland, Berlin xvi, 415 sidor. ill.
Flera identiska utgåvor hittades, dom har slagits ihop i listan ovan